Not a Number of Floating Point Problems.
نویسندگان
چکیده
منابع مشابه
Not a Number of Floating Point Problems
Floating-point numbers and floating-point arithmetic contain some surprising pitfalls. In particular, the widely-adopted IEEE 754 standard contains a number that is “not a number,” and thus has some surprising properties. One has to be extremely careful in writing assertions about floating point numbers, to avoid these pitfalls. This column describes the problems and how a language might elimin...
متن کاملFloating-point Number LISP
There exist many applications where both symbolic and floating-point computations are required at the same time. Image recognition, for example, requires huge amounts of numeric calculation to extract features from raw image data before the actual recognition is performed according to those features. Systems for symbolic computation should perform type-checking on numeric calculations. Although...
متن کاملA Better Random Number Generator for Apple's Floating Point BAS
Random number generators (RNGs) are functions which produce pseudo-random numbers. Usually, the numbers produced are fractions between 0 and 1. Ideally, every fraction a computer language can represent will be as likely to be generated as every other by that language’s RNG, and the order of numbers will be unpredictable to the user. Slightly more formally, the RNG should produce sequences of nu...
متن کاملFormal Methods Applied to a Floating-Point Number System
This report presents a formalisation of the IEEE standard for binary floating-point arithmetic in the set-theoretic specification language Z. The formal specification is refined into four sequential components which unpack the operands, perform the arithmetic, pack and round the result. This refinement follows proven rules and so demonstrates a mathematically rigorous method of program developm...
متن کاملA strong convergence theorem for solutions of zero point problems and fixed point problems
Zero point problems of the sum of two monotone mappings and fixed point problems of a strictly pseudocontractive mapping are investigated. A strong convergence theorem for the common solutions of the problems is established in the framework of Hilbert spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2006
ISSN: 1660-1769
DOI: 10.5381/jot.2006.5.2.c8